<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<title>airline-res: C:/Users/Joe/Development/Projects/University/FormalMethods/airline-res/include/inl/RecordManager.inl Source File</title>

<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css" />

<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>

</head>
<body>
<div id="top"><!-- do not remove this div! -->


<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  
  
  <td style="padding-left: 0.5em;">
   <div id="projectname">airline-res
   
   </div>
   <div id="projectbrief">A prototype airline flight booking system</div>
  </td>
  
  
  
 </tr>
 </tbody>
</table>
</div>

<!-- Generated by Doxygen 1.7.5.1 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
    </ul>
  </div>
<div class="header">
  <div class="headertitle">
<div class="title">C:/Users/Joe/Development/Projects/University/FormalMethods/airline-res/include/inl/RecordManager.inl</div>  </div>
</div>
<div class="contents">
<div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="preprocessor">#include &lt;fstream&gt;</span>
<a name="l00002"></a>00002 <span class="preprocessor">#include &lt;algorithm&gt;</span>
<a name="l00003"></a>00003 
<a name="l00004"></a>00004 <span class="keyword">namespace </span>AirlineRes
<a name="l00005"></a>00005 {
<a name="l00006"></a>00006 
<a name="l00007"></a>00007 <span class="keyword">template</span> &lt;<span class="keyword">class</span> RecordType&gt;
<a name="l00008"></a><a class="code" href="class_airline_res_1_1_record_manager.html#aa133d22b4b6340a81ea0787c0fc777be">00008</a> <span class="keywordtype">int</span> <a class="code" href="class_airline_res_1_1_record_manager.html#aa133d22b4b6340a81ea0787c0fc777be">RecordManager&lt;RecordType&gt;::LoadRecords</a>( std::string <span class="keyword">const</span>&amp; _filePath )
<a name="l00009"></a>00009 {
<a name="l00010"></a>00010   <span class="comment">// Open the file.</span>
<a name="l00011"></a>00011   std::ifstream file( _filePath, std::ifstream::in );
<a name="l00012"></a>00012   <span class="keywordflow">if</span> ( !file.good() )
<a name="l00013"></a>00013   {
<a name="l00014"></a>00014     std::cerr &lt;&lt; <span class="stringliteral">&quot;Failure opening file: \&quot;&quot;</span> &lt;&lt; _filePath &lt;&lt; <span class="stringliteral">&quot;\&quot;\n&quot;</span>;
<a name="l00015"></a>00015     <span class="keywordflow">return</span> 1;
<a name="l00016"></a>00016   }
<a name="l00017"></a>00017 
<a name="l00018"></a>00018   RecordType r;
<a name="l00019"></a>00019 
<a name="l00020"></a>00020   <span class="keywordflow">while</span> ( !file.eof() )
<a name="l00021"></a>00021   {
<a name="l00022"></a>00022     <a class="code" href="class_airline_res_1_1_record.html#a515eae52b011c6ef424c873f26f0fb9b" title="Possible results returned by a Record IO operation.">Record::RecordIOResult</a> res = r.LoadRecord( file );
<a name="l00023"></a>00023     m_records.insert( r );
<a name="l00024"></a>00024 
<a name="l00025"></a>00025 
<a name="l00026"></a>00026     <span class="keywordflow">if</span> ( res != Record::RecordIOResult_Success )
<a name="l00027"></a>00027     {
<a name="l00028"></a>00028       file.close();
<a name="l00029"></a>00029       std::cerr &lt;&lt; <span class="stringliteral">&quot;Failure reading file: \&quot;&quot;</span> &lt;&lt; _filePath &lt;&lt; <span class="stringliteral">&quot;\&quot;\n&quot;</span>;
<a name="l00030"></a>00030       <span class="keywordflow">return</span> 1;
<a name="l00031"></a>00031     }
<a name="l00032"></a>00032   }
<a name="l00033"></a>00033 
<a name="l00034"></a>00034   file.close();
<a name="l00035"></a>00035 
<a name="l00036"></a>00036   UpdateMaxID();
<a name="l00037"></a>00037 
<a name="l00038"></a>00038   <span class="keywordflow">return</span> 0;
<a name="l00039"></a>00039 }
<a name="l00040"></a>00040 
<a name="l00041"></a>00041 <span class="keyword">template</span> &lt;<span class="keyword">class</span> RecordType&gt;
<a name="l00042"></a><a class="code" href="class_airline_res_1_1_record_manager.html#aa285caf09fe5c29073a3fa71c5fd751d">00042</a> <span class="keywordtype">int</span> <a class="code" href="class_airline_res_1_1_record_manager.html#aa285caf09fe5c29073a3fa71c5fd751d">RecordManager&lt;RecordType&gt;::WriteRecords</a>( std::string <span class="keyword">const</span>&amp; _filePath )
<a name="l00043"></a>00043 {
<a name="l00044"></a>00044   <span class="comment">// Open the file.</span>
<a name="l00045"></a>00045   std::ofstream file( _filePath, std::ofstream::out );
<a name="l00046"></a>00046   <span class="keywordflow">if</span> ( !file.good() )
<a name="l00047"></a>00047   {
<a name="l00048"></a>00048     std::cerr &lt;&lt; <span class="stringliteral">&quot;Failure opening file: \&quot;&quot;</span> &lt;&lt; _filePath &lt;&lt; <span class="stringliteral">&quot;\&quot;\n&quot;</span>;
<a name="l00049"></a>00049     <span class="keywordflow">return</span> 1;
<a name="l00050"></a>00050   }
<a name="l00051"></a>00051 
<a name="l00052"></a>00052   <span class="keywordflow">for</span> ( <span class="keyword">auto</span> it = m_records.begin(); it != m_records.end(); ++it )
<a name="l00053"></a>00053   {
<a name="l00054"></a>00054     it-&gt;WriteRecord( file );
<a name="l00055"></a>00055   }
<a name="l00056"></a>00056 
<a name="l00057"></a>00057   file.close();
<a name="l00058"></a>00058   <span class="keywordflow">return</span> 0;
<a name="l00059"></a>00059 }
<a name="l00060"></a>00060 
<a name="l00061"></a>00061 <span class="keyword">template</span> &lt;<span class="keyword">class</span> RecordType&gt;
<a name="l00062"></a><a class="code" href="class_airline_res_1_1_record_manager.html#a54b83e047c87b34cf7f0284806127eaf">00062</a> <span class="keywordtype">int</span> <a class="code" href="class_airline_res_1_1_record_manager.html#a54b83e047c87b34cf7f0284806127eaf">RecordManager&lt;RecordType&gt;::PrintRecords</a>( std::ostream&amp; _stream )
<a name="l00063"></a>00063 {
<a name="l00064"></a>00064   <span class="keywordflow">for</span> ( <span class="keyword">auto</span> it = m_records.begin(); it != m_records.end(); ++it )
<a name="l00065"></a>00065   {
<a name="l00066"></a>00066     it-&gt;WriteRecord( _stream );
<a name="l00067"></a>00067   }
<a name="l00068"></a>00068   <span class="keywordflow">return</span> 0;
<a name="l00069"></a>00069 }
<a name="l00070"></a>00070 
<a name="l00071"></a>00071 <span class="keyword">template</span> &lt;<span class="keyword">class</span> RecordType&gt;
<a name="l00072"></a><a class="code" href="class_airline_res_1_1_record_manager.html#ae4486c6ced093ea1d2002bba58dabfba">00072</a> RecordType <span class="keyword">const</span>* <a class="code" href="class_airline_res_1_1_record_manager.html#ae4486c6ced093ea1d2002bba58dabfba">RecordManager&lt;RecordType&gt;::GetRecord</a>( <span class="keywordtype">int</span> _id )<span class="keyword"> const</span>
<a name="l00073"></a>00073 <span class="keyword"></span>{
<a name="l00074"></a>00074   <span class="keyword">auto</span> it = std::find_if(
<a name="l00075"></a>00075               m_records.begin(),
<a name="l00076"></a>00076               m_records.end(),
<a name="l00077"></a>00077               [_id](RecordType _a){ <span class="keywordflow">return</span> _a.GetID() == _id; }
<a name="l00078"></a>00078             );
<a name="l00079"></a>00079 
<a name="l00080"></a>00080   <span class="keywordflow">if</span> ( it != m_records.end() )
<a name="l00081"></a>00081   {
<a name="l00082"></a>00082     <span class="keywordflow">return</span> &amp;(*it);
<a name="l00083"></a>00083   } <span class="keywordflow">else</span> {
<a name="l00084"></a>00084     <span class="keywordflow">return</span> NULL;
<a name="l00085"></a>00085   }
<a name="l00086"></a>00086 }
<a name="l00087"></a>00087 
<a name="l00088"></a>00088 <span class="keyword">template</span> &lt;<span class="keyword">class</span> RecordType&gt;
<a name="l00089"></a><a class="code" href="class_airline_res_1_1_record_manager.html#ac857f3dd39b92e73eaa9a40e8b7019f5">00089</a> <span class="keywordtype">int</span> <a class="code" href="class_airline_res_1_1_record_manager.html#ac857f3dd39b92e73eaa9a40e8b7019f5">RecordManager&lt;RecordType&gt;::AddRecord</a>( RecordType <span class="keyword">const</span>&amp; _record )
<a name="l00090"></a>00090 {
<a name="l00091"></a>00091   RecordType r( _record );
<a name="l00092"></a>00092   r.m_id = ++m_maxID;
<a name="l00093"></a>00093   m_records.insert( r );
<a name="l00094"></a>00094   <span class="keywordflow">return</span> 0;
<a name="l00095"></a>00095 }
<a name="l00096"></a>00096 
<a name="l00097"></a>00097 <span class="keyword">template</span> &lt;<span class="keyword">class</span> RecordType&gt;
<a name="l00098"></a><a class="code" href="class_airline_res_1_1_record_manager.html#a86495e023c7733c5b00723f32eb6dbf5">00098</a> <span class="keywordtype">int</span> <a class="code" href="class_airline_res_1_1_record_manager.html#a86495e023c7733c5b00723f32eb6dbf5">RecordManager&lt;RecordType&gt;::EditRecord</a>( RecordType <span class="keyword">const</span>&amp; _record )
<a name="l00099"></a>00099 {
<a name="l00100"></a>00100   <span class="keywordtype">int</span> ret = DeleteRecord( _record.GetID() );
<a name="l00101"></a>00101   <span class="keywordflow">if</span> ( !ret ) {
<a name="l00102"></a>00102     m_records.insert( _record );
<a name="l00103"></a>00103     <span class="keywordflow">return</span> 0;
<a name="l00104"></a>00104   } <span class="keywordflow">else</span> {
<a name="l00105"></a>00105     <span class="keywordflow">return</span> ret;
<a name="l00106"></a>00106   }
<a name="l00107"></a>00107 }
<a name="l00108"></a>00108 
<a name="l00109"></a>00109 <span class="keyword">template</span> &lt;<span class="keyword">class</span> RecordType&gt;
<a name="l00110"></a><a class="code" href="class_airline_res_1_1_record_manager.html#a9c4e47b5984d2c9b679925c9cf80cccb">00110</a> <span class="keywordtype">int</span> <a class="code" href="class_airline_res_1_1_record_manager.html#a9c4e47b5984d2c9b679925c9cf80cccb">RecordManager&lt;RecordType&gt;::DeleteRecord</a>( <span class="keywordtype">int</span> _id )
<a name="l00111"></a>00111 {
<a name="l00112"></a>00112   <span class="comment">//auto IsEqual = ;</span>
<a name="l00113"></a>00113 
<a name="l00114"></a>00114   <span class="keyword">auto</span> it = std::find_if(
<a name="l00115"></a>00115               m_records.begin(),
<a name="l00116"></a>00116               m_records.end(),
<a name="l00117"></a>00117               [_id](RecordType _a){ <span class="keywordflow">return</span> _a.GetID() == _id; }
<a name="l00118"></a>00118             );
<a name="l00119"></a>00119 
<a name="l00120"></a>00120   m_records.erase( it );
<a name="l00121"></a>00121   
<a name="l00122"></a>00122   <span class="keywordflow">return</span> 0;
<a name="l00123"></a>00123 }
<a name="l00124"></a>00124 
<a name="l00125"></a>00125 <span class="keyword">template</span> &lt;<span class="keyword">class</span> RecordType&gt;
<a name="l00126"></a><a class="code" href="class_airline_res_1_1_record_manager.html#a1c6021cf491809848cd3f31960800d97">00126</a> <span class="keywordtype">void</span> <a class="code" href="class_airline_res_1_1_record_manager.html#a1c6021cf491809848cd3f31960800d97" title="Internally used book-keeping function for determining the next unique ID to use when AddRecord is cal...">RecordManager&lt;RecordType&gt;::UpdateMaxID</a>()
<a name="l00127"></a>00127 {
<a name="l00128"></a>00128   <span class="keyword">auto</span> pr = [](RecordType <span class="keyword">const</span>&amp; _a, RecordType <span class="keyword">const</span>&amp; _b){ <span class="keywordflow">return</span> _a.GetID() &lt; _b.GetID(); };
<a name="l00129"></a>00129   m_maxID = std::max_element( m_records.begin(), m_records.end(), pr )-&gt;GetID();
<a name="l00130"></a>00130 }
<a name="l00131"></a>00131 
<a name="l00132"></a>00132 }
</pre></div></div>
</div>
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Enumerations</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>



<hr class="footer"/><address class="footer"><small>
Generated on Wed Dec 14 2011 22:49:41 for airline-res by &#160;<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.7.5.1
</small></address>

</body>
</html>
